101. Computational logic and set theory :
پدیدآورنده: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Set theory
رده :
QA248
.
S39
2011eb
102. Computational matter /
پدیدآورنده: Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
103. Computational science and its applications -- ICCSA 2014 :
پدیدآورنده: Beniamino Murgante...[and 8 more] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses,Computer science, Congresses,Computer software, Congresses,Software engineering, Congresses
رده :
QA75
.
5
104. Computations in Algebraic Geometry with Macaulay 2
پدیدآورنده: edited by David Eisenbud, Michael Stillman, Daniel R. Grayson, Bernd Sturmfels.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Combinatorics.,Geometry, Algebraic.,Mathematics.
105. Computer Mathematics
پدیدآورنده: / shin Lee, Yosuke Sato-Ruyong Feng, Wen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
106. Computer-based Numerical and Statistical Techniques.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering mathematics-- Data processing.,Engineering mathematics-- Data processing.
رده :
TA345
.
G695
2007eb
107. Computer mathematics :
پدیدآورنده: editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer science, Congresses.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
9
.
M35
A83
2001eb
108. Computer science :
پدیدآورنده: Edward K. Blum, Alfred V. Aho, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.
رده :
QA76
.
C66
2011
109. Computer supported education :
پدیدآورنده: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
110. Conceptual modeling :
پدیدآورنده: Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
رده :
QA76
.
9
.
D26
111. Connected Dominating Set: Theory and Application
پدیدآورنده: / by Ding-Zhu Du, Peng-Jun Wan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer Communication Networks,Computer software,Combinatorics,Mathematical optimization,Electronic books
رده :
E-BOOK
112. Contemporary issues in systems science and engineering /
پدیدآورنده: edited by MengChu Zhou, Han-Xiong Li, Margot Weijnen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Systems engineering.
رده :
TA168
.
C635
2015
113. Cyber weaponry :
پدیدآورنده: Henry Prunckun, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cyberspace operations (Military science),Business mathematics & systems.,Computer security.,Crime & criminology.,Cyberspace operations (Military science),HISTORY-- Military-- Other.,International relations.,TECHNOLOGY & ENGINEERING-- Military Science.,Warfare & defence.
رده :
U167
.
5
.
C92
C93
2018eb
114. Cybernetics and systems '86 :
پدیدآورنده: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
115. DNA computing and molecular programming :
پدیدآورنده: David Doty, Hendrik Dietz (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Molecular computers, Congresses.,Artificial Intelligence.,Coding and Information Theory.,Computation by Abstract Devices.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Artificial intelligence.,Coding theory & cryptology.,Computer networking & communications.,Computer programming-- software development.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Machine Theory.,Computers-- Programming-- General.,Image processing.,Molecular computers.,User interface design & usability.
رده :
QA76
.
887
.
I58
2018eb
116. DSP for MATLAB and LabVIEW
پدیدآورنده: / Forester W. Isen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MATLAB,LabVIEW,Signal processing, Digital techniques,Transformations (Mathematics),MATLAB,LabVIEW,MathScript,DSP (Digital Signal Processing),Discrete Time FourierTransform (DTFT),z-Transform,Discrete Fourier transform (DFT),Fast Fourier transform (FFT),Goertzel algorithm,Discrete Fourier series (DFS),Frequency domain,Discrete frequency transform,FIR,IIR,Direct form,Direct form transposed,Parallel form,Cascade form,Lattice form,Decimation-in-time (DIT)
رده :
E-BOOK
117. Data science and predictive analytics :
پدیدآورنده: Ivo D. Dinov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Big data.,Mathematical statistics.,Medical records-- Data processing.,R (Computer program language),Big Data.,Big Data/Analytics.,Data Mining and Knowledge Discovery.,Health Informatics.,Probability and Statistics in Computer Science.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Mathematical & Statistical Software.,Data mining.,Databases.,Mathematical statistics.,Maths for computer scientists.,Medical equipment & techniques.,Medical-- General.,Medical records-- Data processing.,R (Computer program language)
رده :
QA76
.
9
.
B45
D56
2018
118. Debugging by thinking :
پدیدآورنده: Robert Charles Metzger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Debugging in computer science.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Debugging in computer science.
رده :
QA76
.
9
.
D43
M48
2004b
119. Designing, engineering, and analyzing reliable and efficient software
پدیدآورنده: Hardeep Singh and Kulwant Kaur, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software -- Development.,COMPUTERS -- Programming -- Open Source.,Software engineering.
